Real Time Speech Based Integrated Development Environment for C Program
نویسندگان
چکیده
منابع مشابه
Software Environment Support for Integrated Formal Program Specification and Development
Formal program development has gained widespread academic interest as a rigorous software engineering technique. One of the main hurdles for the wider IT industry in adopting these formal techniques is a lack of tools to support their use in combination with more traditional development techniques. This paper describes an integrated environment for object-oriented software development which inc...
متن کاملComputer-aided Development of a Real-time Program Computer-aided Development of a Real-time Program
Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript les are available via Abstract The reenement calculus is a well-established theory for formal development of imperative program code and is supported by a number of automated tools. Via a detailed case study, this article shows how reen...
متن کاملIDERS: an integrated environment for the development of hard real-time systems
IDERS is a new generation environment for developing real-time critical systems. It integrates speci-cation, design and code within a single framework, provides support for incremental prototyping and allows early validation through testing and animation. The system is based on a kernel that eliminates ambiguities and supplies dynamic semantic checks. Cus-tomization facilities allow to tailor t...
متن کاملAn Integrated Environment for the Complete Development Cycle of an Object-Oriented Distributed Real-Time System
This paper describes a powerful integrated development environment that covers all steps of the development of an object-oriented real-time application from initial design to the final evaluation. The system consists of a set of integrated tools for modeling, simulation, implementation, instrumentation, monitoring, and visualization that all work on the same o-o system model. As all steps of cr...
متن کاملAdding Real Time to Formal Program Development
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Circuits and Systems
سال: 2016
ISSN: 2153-1285,2153-1293
DOI: 10.4236/cs.2016.73008